منابع مشابه
Una forma normal temporal independiente del método de deducción
En este trabajo se presenta la definición de una forma normal para una lógica modal temporal. Como lógica objetivo hemos elegido la lógica LNint-e, que destaca por tratarse de una lógica que combina puntos e intervalos y disponer simultáneamente de un tratamiento del tiempo absoluto y relativo. Nuestro principal objetivo al definir la forma normal ha sido dotarla de una absoluta independencia r...
متن کاملLentigo maligna and lentigo maligna melanoma.
Lentigo maligna (LM) is a pigmented lesion that occurs on the sun-exposed skin, particularly the head and neck areas, of an older patient. The lesion increases in size and at some point, often many years after its onset, may become lentigo maligna melanoma (LMM). For this reason, most authors consider LM a form of melanoma in situ. Treatment includes surgical or destructive modalities; the pref...
متن کاملCorrección Automática de Huecos en Objetos de Forma Libre Empleando Funciones de Base Radial
Resumen—En este trabajo se propone un nuevo algoritmo para identificar y llenar automáticamente los huecos en regiones asociadas con superficies suaves mediante interpoladores de funciones de base radial locales. Abstract—In this work, a novel algorithm is proposed to identify and automatically fill the holes in regions associated with soft surfaces by means of interpolators of local radial bas...
متن کاملTeoŕıa de la forma y sistemas dinámicos II
En este trabajo expositivo se presentan algunas relaciones entre las dos ramas de las matemáticas mencionadas en el t́ıtulo. En particular, mostramos algunas propiedades cohomológicas de la descomposición “non-saddle” de un ANR compacto. También se presenta un estudio, basado en la teoŕıa de la forma, de los entornos aislantes de conjuntos invariantes aislados, del cual se obtiene una caracteriz...
متن کاملImplementación de reconocimiento de objetos por color y forma en un robot móvil
Resumen. La visión artificial la componen un conjunto de procesos destinados a realizar el análisis de imágenes. Estos procesos son: captación de imágenes, memorización de la información, procesado e interpretación de los resultados. En este art́ıculo se presenta un avance en el aprovechamiento del poder de procesamiento de los nuevos sistemas embebidos para controlar un robot móvil por medio de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista chilena de pediatría
سال: 1979
ISSN: 0370-4106
DOI: 10.4067/s0370-41061979000100011